../src/util/bddManager.h